module Module

((): a -> )
